Buy Used and New Armin Biere Books

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings: 4121 (Lecture Notes in Computer Science)

by Carla P. Gomes,Armin Biere

ISBN 13: 9783540372066

Format: Illustrated (448 pages)
Publisher: Springer
Published: 26 Jul 2006

Save for later

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised ... 7857 (Lecture Notes in Computer Science)

by Armin Biere,Amir Nahir,Tanja Vos

ISBN 13: 9783642396106

Format: Paperback (296 pages)
Publisher: Springer
Published: 19 Jul 2013

Save for later

Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... (Lecture Notes in Computer Science)

by Armin Biere, Roderick Bloem

ISBN 13: 9783319088662

Format: Paperback (912 pages)
Publisher: Springer
Published: 04 Aug 2014

Save for later

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... 12078 (Lecture Notes in Computer Science)

by Armin Biere,David Parker

ISBN 13: 9783030451899

Format: Paperback (528 pages)
Publisher: Springer
Published: 18 Apr 2020

Save for later

Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications, 336)

by Armin Biere,Marijn Heule,Hans Van Maaren,Toby Walsh

ISBN 13: 9781643681603

Format: Hardcover (1465 pages)
Publisher: Ios Pr Inc
Published: 05 May 2021

Save for later